package ch.epfl.lara.matcheck.verify;

import ch.epfl.lara.matcheck.ast.Program
import ch.epfl.lara.matcheck.verify.transform._

object TransformProgram extends (Program => VProgram) {

  def apply(program: Program): VProgram = {
    val vprogram = Tree2VTree(program)
    VMatchContextRefinement(vprogram)
  }
}
